Automata-based programming - PDFSEARCH.IO - Document Search Engine

Automata-based programming
Results: 14

#	Item
11	Contacts: Paul Beame ACM SIGACT Chair Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05 Theoretical computer science Formal sciences ACM SIGACT International Colloquium on Automata Languages and Programming Gödel Prize Whitfield Diffie Association for Computing Machinery ID-based encryption Dan Boneh Cryptography Computer science Applied mathematics
12	2005 International Conference on “Integration of Knowledge Intensive Multiagent Systems. KIMAS ’05: Modeling, Exploration, and Engineering”. USA, MA: IEEE, 2005, pp. 460–465. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2005-05-27 08:00:05 Software engineering Automata theory Anatoly Shalyto Computing Foundation for Open Project Documentation Technology Finite-state machine Automaton A New Kind of Science Programming paradigms Automata-based programming Cellular automata
13	ISSN[removed], Programming and Computer Software, 2007, Vol. 33, No. 6, pp. 343–355. © Pleiades Publishing, Ltd., 2007. Original Russian Text © V.S. Gurov, M.A. Mazin, A.S. Narvsky, A.A. Shalyto, 2007, published in Programmirovanie, 2007, Vol. 33, No. 6. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2007-11-04 10:40:05 Unified Modeling Language Models of computation Programming paradigms Diagrams Automata-based programming State diagram Finite-state machine Executable UML Model-driven architecture UML diagrams Software Computing
14	PDF Document Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2008-02-23 15:08:44 Graph theory Mathematics Finite-state machine Automata-based programming Anatoly Shalyto Algorithm Deterministic finite automaton Petri net Deterministic automaton Automata theory Theoretical computer science Models of computation

UPDATE